Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams

RIPPES

• Title: RIgorous Programming of Predictable Embedded Systems

• International Partner (Institution - Laboratory - Researcher):

  • University of California Berkeley (USA)

  • University of Auckland (New Zealand)

• Duration: 2013 - 2015

• See also: https://wiki.inria.fr/rippes

• The RIPPES associated teams gathers the SPADES team from Inria Grenoble Rhône-Alpes, the Ptolemy group from UC Berkeley (EECS Department), and the Embedded Systems Research group from U. Auckland (ECE Department). The planned research seeks to reconcile two contradictory objectives of embedded systems, more predictability and more adaptivity. We propose to address these issues by exploring two complementary research directions: (1) by starting from a classical concurrent C or Java programming language and enhancing it to provide more predictability, and (2) by starting from a very predictable model of computation (SDF) and enhancing it to provide more adaptivity.

Inria International Partners

Informal International Partners

• University of Bologna, Department of Computer Science (Italy)

• Topics: reversibility in concurrent languages

• TU Braunschweig, (Germany)

• Topics: typical worst-case schedulability analysis